More from this Author

From Lambda Calculus to Cybersecurity Through Program Analysis

by Alessandra Di Pierro (Editor), Pasquale Malacaria (Editor), Rajagopal Nagarajan (Editor)

Formal Methods for Dynamical Systems

by Marco Bernardo (Editor), Erik de Vink (Editor), Alessandra Di Pierro (Editor), Herbert Wiklicky (Editor)